builtin_functions.o: builtin_functions.cpp ../util/i2string.h \
 ../util/replace_expr.h ../util/hash_cont.h ../util/expr.h ../util/type.h \
 ../util/irep.h ../util/dstring.h ../util/string_container.h \
 ../util/hash_cont.h ../util/string_hash.h ../util/irep_ids.h \
 ../util/location.h ../util/expr_util.h ../util/symbol.h \
 ../util/std_types.h ../util/type.h ../util/expr.h ../util/mp_arith.h \
 ../big-int/bigint.hh ../util/std_expr.h ../util/std_types.h \
 ../util/rational_tools.h ../util/rational.h ../util/location.h \
 ../util/cprover_prefix.h ../util/prefix.h ../util/arith_tools.h \
 ../util/mp_arith.h ../util/simplify_expr.h ../util/namespace.h \
 ../util/context.h ../util/symbol.h ../util/string_hash.h \
 ../util/std_code.h ../util/std_expr.h ../ansi-c/c_types.h \
 goto_convert_class.h ../util/guard.h ../util/options.h \
 ../util/message_stream.h ../util/message.h goto_program.h \
 goto_program_template.h ../cfa/cfa.h ../cfa/typedef.h ../util/i2string.h \
 ../langapi/language_util.h dynamic_memory.h
